DEFINITION MODULE RandomNumbers ;

PROCEDURE Uniform( ) : REAL ;
(* generates random numbers between 0.0 & 1.0 *)

PROCEDURE SetSeed( seed : LONGINT ) ;

END RandomNumbers.
